61. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996 : proceedings
المؤلف: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1085
62. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
المؤلف: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
المکتبة: (طهران)
موضوع: Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses
رده :
QA
76
.
9
.
A96
I575
1996
63. Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings
المؤلف: Dov M. Gabbay...]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Qualitative reasoning,Congresses ، Problem solving
رده :
QA
76
.
L28
Vol
.
1244
64. Reactive Kripke Semantics
المؤلف: / Dov M. Gabbay
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
65. Revision, Acceptability and Context
المؤلف: / Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
66. Revision, Acceptability and Context: Theoretical and Algorithmic Aspects
المؤلف: / Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo (auth.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
67. Semantical Investigations in Heyting's Intuitionistic Logic
المؤلف: by Dov M. Gabbay.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Philosophy (General),Semantics.
68. Semantical investigations in Heyting's intuitionistic logic
المؤلف: Gabbay, Dov M., 5491-
المکتبة: (طهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
G22S4
69. Temporal Logic :
المؤلف: edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
70. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
المؤلف: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
المکتبة: (طهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
71. Temporal logic : mathematical foundations and computational aspects
المؤلف: Gabbay, Dov M.
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
72. The rise of modern logic :
المؤلف: edited by Dov M. Gabbay and John Woods.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic-- History.,Logic.
73. Thirty Five Years of Automating Mathematics.
المؤلف: Dov M Gabbay
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
74. Time for Verification: Essays in Memory of Amir Pnueli
المؤلف: / Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
75. What is negation?
المؤلف: edited by Dov M. Gabbay and Heinrich Wansing.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Negation (Logic)
رده :
BC199
.
N4
E358
2011
